#ifndef CPU_GETTIMEMS_H
#define CPU_GETTIMEMS_H

uint32 CPU_GetTimeMs();

extern uint32 tavm_current_time;

#endif

